| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| EditorHelp.json | JavaScript Object Notation | 1 | 33.4 KB | 2002-04-22 |
| Recent.json | JavaScript Object Notation | 1 | 187 b | 2002-04-22 |
| Rocks.json | JavaScript Object Notation | 1 | 800 b | 2002-04-22 |
| RocksHelp.json | JavaScript Object Notation | 1 | 5.1 KB | 2002-04-22 |
| Settings.json | JavaScript Object Notation | 1 | 1.7 KB | 2002-04-22 |
| Tileset.json | JavaScript Object Notation | 1 | 4.1 KB | 2002-04-22 |